Component-Based Development and Verification of Safety Critical Software for a Brake-by-Wire System with Synchronous Software Components
نویسندگان
چکیده
. In this paper we describe the development and verification of software for an automotive Brake-by-Wire System. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous language ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype Brake-by-Wire system in a research car.
منابع مشابه
Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme
Embedded systems as anti-blocking systems or engine controllers advance more and more into safety critical applications. The systems are increasingly distributed and interconnected. The software in these systems is gaining in significance rapidly and becomes larger and more complex at the same time. Therefore, new methods and procedures are needed in order to manage this complexity. The goal of...
متن کاملValidation of Safety-Critical Distributed Real-Time Systems
A safety-critical distributed real-time system is an electronic system where a system failure may cause a severe hazard that will endanger human life or the environment. For the development of such systems, it is desirable to determine in an early development phase whether the system can cause such a hazardous event, before a hardware is built and before the system is in service. This thesis pr...
متن کاملSafety Verification utilizing Model-based Development for Safety Critical Cyber-Physical Systems
The application of cyber-physical systems (CPSs) in safety-critical application domain requires rigorous verification of their functional correctness and safety-relevant properties. We propose a practical verification process which enables to conduct safety verification of safety critical CPSs. The verification process consists of (a) a system model construction method, which generates a system...
متن کاملFMEA-based Failure Analysis of Brake-By- Wire Automotive Safety-Critical System
Safety critical systems are those systems whose failure could result in loss of life, significant properityda mage, or damage to the environment. Brake-by-wire (BBW) technology in automotive industry is the ability to contr ol brakes through electrical means. It can be designed to supplement ordinary service brakes or it can be a standalone brake system. The increasing usage of brake-by-wire sy...
متن کاملIntents and Upgrades in Component-Based High-Assurance Systems
This chapter addresses challenges for model-driven development of embedded systems in industrial practice. These are rooted in the necessity of flexible development of new functionality at low development cost. Where a dependability requirement is added, e.g. support for assurance of safety requirements, then extending functionality by pluging in a new component, or modifying an existing compon...
متن کامل